Knuth relations（克努斯关系）：组合数学与代数组合中用于定义plactic monoid（普拉克提克幺半群）的一组基本等价变换规则。它们规定了在字母序列（word）中，某些相邻模式可以互换而不改变其对应的Young tableau（杨表）结果；由此得到的等价关系常称为 Knuth equivalence（克努斯等价）。
（在不同语境中也可能泛指与 Knuth 等价相关的“关系/变换”。）
/kəˈnuːθ rɪˈleɪʃənz/
Knuth relations help us decide when two words produce the same Young tableau.
Knuth 关系帮助我们判断两个“字”（序列）何时会生成同一个杨表。
In the study of the plactic monoid, we quotient the free monoid by the Knuth relations to classify words up to Knuth equivalence.
在研究普拉克提克幺半群时，我们用 Knuth 关系对自由幺半群取商，从而按 Knuth 等价对词序列进行分类。
Knuth 来自计算机科学家与数学家 Donald E. Knuth（唐纳德·克努斯）的姓氏；relations 表示“关系/等式规则”。该术语源于 Knuth 在研究广义杨表与插入算法相关结构时提出的等价变换规则，后来成为代数组合领域的标准术语之一。
Select Language